21. FM '99 - formal methods / 2.
Author: Jeannette M. Wing ... (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:

22. Fundamentals of mathematics
Author: Bernd S. W. Schreoder
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
S36F8
2010


23. Handbook of mathematical concepts and formulas for students in science and engineering
Author: Mohammad Asadzadeh, Reimond Emanuelsson.,Asadzadeh, Mohammad,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics.,Science,Engineering mathematics.,Mathematics.

24. Introduction · to Mathematical Structures and · Proofs
Author: by Larry J. Gerstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).

25. Introduction to lattices and order /
Author: B.A. Davey, H.A. Priestley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lattice theory.
Classification :
QA171
.
5
.
D38
2002


26. Introduction to mathematical proofs :
Author: Charles E. Roberts, Jr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
Classification :
QA9
.
54
.
R63
2010


27. Linear Operators and Approximation / Lineare Operatoren und Approximation
Author: edited by P. L. Butzer, J.-P. Kahane, B. Szökefalvi-Nagy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).

28. Linear ray and wave optics in phase space :
Author: Amalia Torre.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometrical optics-- Mathematics.,Wave theory of light.,Wigner distribution.,Geometrical optics-- Mathematics.,SCIENCE-- Physics-- Optics & Light.,Wave theory of light.,Wigner distribution.
Classification :
QC403
.
T67
2005eb


29. Logical foundations of computer science :
Author: eds.: Anil Nerode ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:

30. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976


31. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989


32. Mathematical analysis
Author: Bernd S.W. Schreoder
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Mathematical analysis
Classification :
515
,.
S376M
,
2008


33. Mathematical logic :
Author: Roman Kossak
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
Classification :
QA9
.
K67
2018


34. Mathematical principles of the Internet.
Author: Nirdosh Bhatnagar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Internet-- Mathematical models.,Internetworking (Telecommunication)-- Mathematics.,Computer science-- Mathematics.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Information Theory,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Internet-- Mathematical models.,MATHEMATICS / General,MATHEMATICS / Number Systems
Classification :
TK5102
.
83


35. Modern cryptography and elliptic curves :
Author: Thomas R. Shemanske.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography, Textbooks.,Curves, Elliptic, Textbooks.,Geometry, Algebraic, Textbooks.,Algebraic geometry-- Arithmetic problems. Diophantine geometry-- Applications to coding theory and cryptography.,Computer science-- Instructional exposition (textbooks, tutorial papers, etc.),Computer science-- Theory of data-- Data encryption.,Computersicherheit,Cryptography.,Curves, Elliptic.,Elliptische Kurve,Geometry, Algebraic.,Information and communication, circuits-- Communication, information-- Cryptography.,Kryptologie,Number theory-- Arithmetic algebraic geometry (Diophantine geometry)-- Elliptic curves over global fields.,Number theory-- Computational number theory-- Factorization.,Number theory-- Elementary number theory-- Elementary number theory.,Number theory-- Finite fields and commutative rings (number-theoretic aspects)-- Algebraic coding theory; cryptography.,Number theory-- Instructional exposition (textbooks, tutorial papers, etc.),Public-Key-Kryptosystem,Quantencomputer,Quantum theory-- Axiomatics, foundations, philosophy-- Quantum computation.
Classification :
QA567
.
2
.
E44
S534
2017


36. On the Tangent :
Author: Mark Green and Phillip Griffiths.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic cycles.,Geometry, Algebraic.,Hodge theory.,Cycles algébriques.,Géométrie algébrique.,Hodge, Théorie de.,Algebraic cycles.,Geometry, Algebraic.,Hodge theory.,MATHEMATICS-- Algebra-- Abstract.,MATHEMATICS-- Geometry-- Algebraic.
Classification :
QA564
.
G635
2005


37. Ordres totaux finis; travaux du seminaire sur les ordres totaux finis, Aix-en-Provence, juillet 1967
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, Abstract -- Congresses,Lattice theory -- Congresses,Set theory -- Congresses
Classification :
QA
266
.
O67


38. Problems and proofs in numbers and algebra
Author: /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Algebra,Mathematical logic., Number theory.
Classification :
QA152
.
P7M5
2015


39. Reading, writing, and proving :
Author: Ulrich Daepp, Pamela Gorkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Study and teaching (Higher)-- United States.,Technical writing-- Study and teaching (Higher)-- United States.,Mathematics-- Study and teaching (Higher),Technical writing-- Study and teaching (Higher),United States., 7
Classification :
QA13
.
D34
2011


40. SET THEORY AND ABSTRACT ALGEBRA
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
512
,.
86
,
BLS
